differentiability piecewise functions calculus